1. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
پدیدآورنده : edited by C. A. Diprisco
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1130
